The cumulative hierarchy and the constructible universe of ZFA
نویسنده
چکیده
We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all we refine a result of Forti and Honsell (see [5]) in order to prove that the universe of ZFA can also be obtained (without appealing to choice) as the least fixed point of a continuous operator and not only as the greatest fixed point of the powerset operator. Next we show that it is possible to define a new absolute Gödel operation in addition to the standard ones in order to obtain the ”constructible” model of ZFA as the least fixed point of the continuous operator of Gödel closure with respect to the standard and the new Gödel operations.
منابع مشابه
A refinement of Jensen's constructible hierarchy
Appropriate hierarchies are essential for the study of minimal or constructible inner models of set theory, in particular for proving strong combinatorial principles in those models. We define a finestructural hierarchy (Fα) and compare it to Jensen’s well-known Jα-hierarchy for Gödel’s constructible universe L.
متن کاملComplete Topoi Representing Models of Set Theory
Blass, A. and A. Scedrov, Complete topoi representing models of set theory, Annals of Pure and Applied Logic 57 (1992) l-26. By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atoms (ZFA), which contains a copy of the ordinary universe of (two-valued, pure) sets as a transitive subclass; examples include Scott-Solovay Boolean-valued models and their ...
متن کاملEconomical-Statistical design of one- sided CCC-r control chart based on analytical hierarchy process
The cumulative count of a conforming (CCC) control chart is used for high quality processes.The CCC − r chart is an improvement of the CCC chart that is based on the cumulative number of items inspected until observing r non-conforming ones. This paper aims to propose a new approach for manufacturer’s decision making according to the criteria among the available options. The o...
متن کاملHow Gödel Transformed Set Theory, Volume 53, Number 4
K urt Gödel (1906–1978), with his work on the constructible universe L, established the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he secured the cumulative hierarchy view of the universe of sets and ensured the ascendancy of first-order logic as the framework for set theory. Gödel thereby transformed set theory and launched it with structured subjec...
متن کاملThe zebrafish anatomy and stage ontologies: representing the anatomy and development of Danio rerio
BACKGROUND The Zebrafish Anatomy Ontology (ZFA) is an OBO Foundry ontology that is used in conjunction with the Zebrafish Stage Ontology (ZFS) to describe the gross and cellular anatomy and development of the zebrafish, Danio rerio, from single cell zygote to adult. The zebrafish model organism database (ZFIN) uses the ZFA and ZFS to annotate phenotype and gene expression data from the primary ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Math. Log. Q.
دوره 50 شماره
صفحات -
تاریخ انتشار 2004